Self-Stabilization by Counter Flushing

Dijkstra's Protocols as Examples of Local Checking and Counter Flushing

Self-Stabilization by Local Checking: A Summary

Self-Stabilization by Local Checking and Correction

A self-stabilizing protocol is one that begins to behave correctly in bounded time, no matter what state the protocol is started in. Self-stabilization abstracts the ability of a protocol to tolerate arbitrary faults that stop. We investigate the power and applicability of local checking and correction for the design of stabilizing network protocols. A link subsystem is a pair of neighboring no...

Probabilistic Self-Stabilization

By using concrete scenarios, we present and discuss a new concept of probabilistic Self-Stabilization in Distributed Systems.

Observing locally self-stabilization